Encodings of Sets and Hypersets
نویسنده
چکیده
We will present some results and open problems on an extension of the Ackermann encoding of Hereditarily Finite Sets into Natural Numbers. In particular, we will introduce and discuss a simple modification of the above mentioned Ackermann encoding, that should naturally generalize from Hereditarily Finite Sets to Hereditarily Finite Hypersets.
منابع مشابه
Codes Defined by Multiple Sets of Trajectories 3
We investigate the use of shuffle on trajectories to model certain classes of languages arising in the theory of codes. In particular, for each finite set of sets of trajectories, which we call a hyperset of trajectories, we define a class of languages induced by that hyperset of trajectories. We investigate properties of hypersets of trajectories and the associated classes of languages, includ...
متن کاملNeuronal activity in medial frontal cortex during learning of sequential procedures.
To study the role of medial frontal cortex in learning and memory of sequential procedures, we examined neuronal activity of the presupplementary motor area (pre-SMA) and supplementary motor area (SMA) while monkeys (n = 2) performed a sequential button press task, "2 x 5 task." In this paradigm, 2 of 16 (4 x 4 matrix) light-emitting diode buttons (called "set") were illuminated simultaneously ...
متن کاملHypersets as truth values
The hypersets are shown to play the truth values of stable properties of nondeterministc dynamical systems. In fact, the universe of hereditory nite hypersets, with the truth value as an atom added, is shown to be the subobject classi er of the category of simulations of nondeterministic dynamical systems.
متن کاملBounded Hyperset Theory and Web-like Data Bases
It is demonstrated how a Hyperset Theory (satisfying P.Aczel's Anti-Foundation Axiom) naturally arises from the idea of World-Wide Web (WWW). Alternatively, Web serves as an illustration and possible application of the abstract notion of antifounded sets. A -language of Bounded Hyperset Theory is presented as a query language to the Web or, more generally, to Web-like Data Bases (WDB). It is sh...
متن کاملUsing Hypersets to Represent Semistructured Data
This paper presents a new metamodel based on partially ordered hypersets. The metamodel is minimalist, its only primitives being atoms, potentially infinite hypersets and partial order. The type system is very loose and supports concurrent extensional and intensional definition of types. Every element of the metamodel can be directly referenced, thanks to a powerful automated reification facili...
متن کامل